Publications

Publications of

Conference papers
  • Marjorie Couzinier, Louis Féraud, Ralph Sobek, Sergei Soloviev

    A framework for increasing program design reliability

    In : Contemporary information and education space. St. Petersburg pedagogical state university 2005, St. Petersburg, 22/11/05-02/12/05, Sovremennoe informatsionno-obrazovatelnoe prostranstvo (Editions de L’Université Pédagogique d’Etat), pp. 67-70, 2005.

    BibTeX

  • Marjorie Couzinier, Louis Féraud

    Formal verification of dynamic UML diagrams using TLA+

    In : Second IASTED International Multiconference Software Engineering (ACIT-SE), Novosibirsk, 20/06/05-24/06/05, ACTA Press, pp. 85-91, June 2005.

    BibTeX

  • Marjorie Couzinier, Louis Féraud

    Une approche formelle des diagrammes dynamiques d’UML via TLA+

    In : FAC’05 Journées Formalisation des activités concurrentes, Toulouse, 09/03/05-10/03/05.

    URL : http://www.cert.fr/francais/deri/michel/FAC
    BibTeX

  • Marjorie Couzinier

    Sur quelques approches de la sémantique en Object-Z des diagrammes dynamiques en UML

    In : JOCM 2004, Lille, 16/03/04, GDR ALP, pp. 7-12, March 2004.

    BibTeX

Department
Publication type
Criteria





Operator   AND   OR
Sort by